Type-checking move-curb-to-curb
...action passes type checking.
Type-checking move-curb-to-car
...action passes type checking.
Type-checking move-car-to-curb
...action passes type checking.
Type-checking move-car-to-car
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 8
1:
(move-curb-to-car car_3 curb_1 car_0)
 
2:
(move-curb-to-curb car_1 curb_0 curb_1)
 
3:
(move-car-to-car car_3 car_0 car_1)
 
4:
(move-car-to-curb car_3 car_1 curb_0)
 
5:
(move-curb-to-car car_3 curb_0 car_2)
 
6:
(move-curb-to-car car_0 curb_3 car_1)
 
7:
(move-car-to-curb car_3 car_2 curb_3)
 
8:
(move-car-to-curb car_0 car_1 curb_0)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (car-clear car_0)
Deleting (at-curb-num car_3 curb_1)
Deleting (at-curb car_3)
Adding (curb-clear curb_1)
Adding (behind-car car_3 car_0)
Updating (total-cost) (0) by 1 increase

Checking next happening (time 2)
Deleting (curb-clear curb_1)
Deleting (at-curb-num car_1 curb_0)
Adding (curb-clear curb_0)
Adding (at-curb-num car_1 curb_1)
Updating (total-cost) (1) by 1 increase

Checking next happening (time 3)
Deleting (car-clear car_1)
Deleting (behind-car car_3 car_0)
Adding (car-clear car_0)
Adding (behind-car car_3 car_1)
Updating (total-cost) (2) by 1 increase

Checking next happening (time 4)
Deleting (curb-clear curb_0)
Deleting (behind-car car_3 car_1)
Adding (car-clear car_1)
Adding (at-curb-num car_3 curb_0)
Adding (at-curb car_3)
Updating (total-cost) (3) by 1 increase

Checking next happening (time 5)
Deleting (car-clear car_2)
Deleting (at-curb-num car_3 curb_0)
Deleting (at-curb car_3)
Adding (curb-clear curb_0)
Adding (behind-car car_3 car_2)
Updating (total-cost) (4) by 1 increase

Checking next happening (time 6)
Deleting (car-clear car_1)
Deleting (at-curb-num car_0 curb_3)
Deleting (at-curb car_0)
Adding (curb-clear curb_3)
Adding (behind-car car_0 car_1)
Updating (total-cost) (5) by 1 increase

Checking next happening (time 7)
Deleting (curb-clear curb_3)
Deleting (behind-car car_3 car_2)
Adding (car-clear car_2)
Adding (at-curb-num car_3 curb_3)
Adding (at-curb car_3)
Updating (total-cost) (6) by 1 increase

Checking next happening (time 8)
Deleting (curb-clear curb_0)
Deleting (behind-car car_0 car_1)
Adding (car-clear car_1)
Adding (at-curb-num car_0 curb_0)
Adding (at-curb car_0)
Updating (total-cost) (7) by 1 increase
Plan executed successfully - checking goal
Plan valid
Final value: 8 

Successful plans:
Value: 8
 <PATH_REMOVED> 8 


plan is valid!!